<?php

printf("%'", "");
